How often do you have a physical ( check up)? 你多长时间进行一次身体检查?
I want to get a physical check-up, too. How much does it cost? 我也想做一次身体检查,要多少钱呢?
Firstly, we introduced the logic synthesis tool Design compiler, physical design tool IC compiler, static timing analysis tool Primetime and logic equivalence check tool Formality. Then we summed up the main delay models, parameter extraction and timing optimization. 本文分别介绍了逻辑综合工具DC、物理设计工具ICCompiler、静态时序分析工具PrimeTime和形式验证工具Formality,总结了实现设计中的主要延时模型、寄生参数提取及时序优化方法。